theory of logical types
逻辑类型的理论
热门查询
- Uganda n. 乌干达（非洲国家）
- digital n. 数字；键 adj. 数字的；手指的
- ketch n. 双桅纵帆船
- demineralization n. 去矿化作用；除盐作用；失矿质
- prism n. 棱镜；[晶体][数] 棱柱
- scuttle n. 天窗；煤桶；筐 vt. 使船沉没；破坏 vi. 逃避；急促地跑
- fathering n. 父亲，爸爸；神父；祖先；前辈 vt. 发明，创立；当…的父亲
- ember n. 灰烬，余烬 n. (Ember)人名；(德、西、罗、匈)恩贝尔
- minyan n. 举行正式礼拜仪式的法定人数（犹太教）；米尼安人（相传住在古希腊中部）
- sacrament n. 圣礼；圣餐；神秘的事物 vt. 立誓
- soybean n. 大豆；黄豆
- checkered adj. 多变的；有方格的；多波折的 v. 使交错；使交替变化（checker的过去分词）
- phenylketonuria n. [泌尿] 苯丙酮尿；[泌尿] 苯丙酮酸尿
- posteriorly adv. 后来地；其次地
- phonon n. [声] 声子
- tesserae n. 入场券，票子
- licentious adj. 放肆的；放纵的
- bernard n. 伯纳德（男子名）
- bowrider n. (设有座位的)汽船，汽艇
- Pimm [人名] 皮姆
